A formalization of one of the main claims of “Overlap of vitamin A and vitamin D target genes with CAKUT-related processes” by Ozisik et al. 20211

In a previous paper that we co-authored (Ozisik et al. 2021) showed in some cases Vitamin A and D receptor binding sites are present genes associated with Congenital Anomalies of the Kidney Urinary Tract (CAKUT). From finding derived statement sometimes targets same as CAKUT. We here formalization claim, stating all things class “genes CAKUT” have relation type “is as” to thing “targets vitamin A”.